
(eq (progn (+ 1 2)) 3)
